abstract data type in c